Congruent Weak Conformance, a Partial Order among Processes
نویسندگان
چکیده
This paper presents a new property between processes arising from a set of relations called weak conformations. The largest, called weak conformance, is analogous to Milner’s observational equivalence. Unlike observational equivalence, however, weak conformance is not an equivalence but rather a preorder between processes. Like the previous property of logic conformance, weak conformance allows behaviors in the implementation that are unreachable in the specification. Unlike logic conformance, however, weak conformance exploits output concurrencies and allows interleaving of extraneous output actions in the implementation. Finally, reasonable restrictions in CCS syntax strengthen weak conformance to a precongruence. The resulting property, congruent weak conformance, forms a partial ordering among processes. As a precongruence, it models safe substitution of hardware.
منابع مشابه
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits efficiently. This algorithm is based on the framework of timed trace theoretic verification according to the original untimed trace theory. Consequently, its conformance checking supports hierarchical verification. Experimen...
متن کاملCompliance Analysis in IT Service Management Systems Master Thesis IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE (M.Sc.) IN INFORMATION SYSTEMS AT THE SCHOOL OF BUSINESS AND ECONOMICS OF HUMBOLDT-UNIVERSITÄT ZU BERLIN
IT service providers need to be capable to efficiently ensure a certain level of quality for their services. Thus, cost-efficient measurement mechanisms have to be set up to analyze and control the operations and quickly discover inconsistencies that may lead to a decrease in the quality of the service. It is crucial for the business to know if the implemented processes are executed as designed...
متن کاملProtocol Conformance for Logic-based Agents
An agent communication protocol specifies the "rules of encounter" governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occur ring in open societies it is crucial that agents are equipped with proper means to check, and possi bly enforce, conformance to protocols. We identify different levels of conformance (weak, exhausti...
متن کاملConformance Analysis of Organizational Models in a new Enterprise Modeling Framework using Algebraic Graph Transformation - Extended Version
Organizational models play a key role in today’s enterprise modeling. These models often show up as partial models produced by people with different conceptual understandings in a usually decentralized organization, where they are modeled in a distributed and non-synchronized fashion. For this reason, there is a first major need to organize partial organizational models within a suitable modeli...
متن کامل